Specifying Database Transactions and Active Rules in the Situation Calculus
نویسندگان
چکیده
This chapter provides a predicate logic based semantics for active rules in active databases [18, 9]. Our main contribution is a proposal to integrate the specification of active rules with the specification of the dynamics of transaction based change in relational databases. Our approach extends previous work in which the situation calculus, a language of many sorted predicate logic, is used to specify updates in databases [14]. To achieve this, we first specify database transactions in the situation calculus, and then active rules using the notion of occurrence as proposed in [13].
منابع مشابه
Specifying Active Databases in the Situation Calculus
This paper provides a predicate logic based semantics for active rules in active databases [24, 10]. Previous work has been done to provide semantics of execution of active rules [21, 3, 9, 11]. In part, this work has been directed towards providing a unifying criteria regarding the meaning of active rules, and to provide a framework for comparing different proposals for active database systems...
متن کاملAbstract Logical Foundations of Active Databases
Logical Foundations of Active Databases Iluju Kiringa Doctor of Philosophy Graduate Department of Computer Science University of Toronto 2003 Classical database management systems (DBMSs) have been enhanced over the past fifteen years with the addition of rule-based programming to obtain active DBMSs. Active behavior is mainly characterized by a rule language and an execution model. Execution m...
متن کاملSpecifying Event Logics for Active Databases
Active databases are usually centered around the notion of Event-Condition-Action (ECA) rules. An ECA rule’s action is executed upon detection of an event whenever the rule’s condition is true. Events are traditionally described using an event algebra. Virtually every proposed active database management system (ADBMS) brings about a different event algebra. This makes it very difficult to analy...
متن کاملExtending the Qualitative Trajectory Calculus Based on the Concept of Accessibility of Moving Objects in the Paths
Qualitative spatial representation and reasoning are among the important capabilities in intelligent geospatial information system development. Although a large contribution to the study of moving objects has been attributed to the quantitative use and analysis of data, such calculations are ineffective when there is little inaccurate data on position and geometry or when explicitly explaining ...
متن کاملAnalysis of Database Production Rules by Process Algebra
The purpose of this research is to analyze production rules with coupling modes in active databases and to exploit an assistant system for rule programming. Each production rule is a specification including an event, a condition, and an action. The action is automatically executed whenever the event occurs and the condition is satisfied. Coupling modes are useful to control execution order of t...
متن کامل